attainable state

可达状态